ASN.1 and Estelle Implementation Support Tools
نویسندگان
چکیده
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been developed for the description of communication protocols an In addition, a notation called ASN.1 is used for the descriptions of the data st protocol data units exchanges between communicating entities at the applica Existing FDT's, such as Estelle, LOTOS and SDL, do not include facilities to d manipulate data structures defined in ASN.1. This makes using FDT's for d applications difficult. This paper deals with the integration of ASN.1 with Este issues involved with the integration of corresponding implementation tools. I how the encoding and decoding routines automatically generated from th definitions can be combined with implementation code semi-automatically gen the Estelle specification of the protocol. An application for a simple protocol is g
منابع مشابه
OSI Specifications using ASN.1 and other formal description techniques
Service and protocol specifications are the basis for the design and implementation of distributed computer systems. In the area of OSI communication standards, specifications are written in natural language and various description techniques, including ASN.1 and other formal techniques. Since the scope of ASN.1 is essentially limited to the definition of data structures and coding conventions,...
متن کاملOn the Improvement of Estelle Based Automatic Implementations
The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with...
متن کاملJEstelle novel approach to the distributed Java systems specification and development
The design of distributed Java applications is a very complicated task. Regardless of Java's ease of use and portability, a method that provides a means of testing and validating complex systems in a satisfactory manner is still lacking. In addition system portability is often decreased due to strong dependencies between subsystem implementation and the way they communicate. In this article we ...
متن کاملSpeciication Style and Eeciency in Estelle
Correctness and run-time eeciency are essential properties of software in general and of high-speed protocols in particular. We can boost conndence in the correctness of a protocol implementation by generating code automatically from the speciication. However, the run-time eeciency is often insuucient. It can be improved at the design stage, during the implementation process, and at run-time GB...
متن کاملA New Approach for Distributing Estelle Specifications
Deriving distributed prototypes and implementations from formal speci cations is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the speci cation, ...
متن کامل